This book constitutes the refereed proceedings of the 7th IEEE International Workshop on IP Operations and Management, IPOM ...
Lire la suiteThe main objective of this book is to introduce the reader to the fundamentals of probabilistic methods in the analysis and ...
Lire la suiteThis book constitutes the refereed proceedings of the 11th Annual International Conference on Research in Computational Molecular ...
Lire la suiteThis book takes a unique approach to information retrieval by laying down the foundations for a modern algebra of information ...
Lire la suiteThis book constitutes the refereed proceedings of the Third International Colloquium on Theoretical Aspects of Computing, ...
Lire la suiteThis book address the application of formal methods and reasoning techniques to Web service technology, and formal theories ...
Lire la suite